$\forall$${\it ds}$, ${\it da}$, $x$, $T$:Top, ${\it ks}$:Top List, ${\it tr}$:Top, $j$, $i$:Id.
\\[0ex]R{-}has{-}loc(R{-}state{-}var($i$;${\it ds}$;${\it da}$;$x$;$T$;${\it ks}$;${\it tr}$);$j$) $\sim$ $i$ = $j$